Checking SysML Models Against Safety and Security Properties

Systems engineering, or engineering in general, has long been relying on document-centric approaches. Switching to model-based systems MBSE for short, extensively discussed over the past three decades. Since about two decades, commonly associated with modeling language SysML (Systems Modeling Language), which offers a standardized notation, not methodology of using it. needs therefore be supported by tools. In this paper, free and open-source software TTool is SysML. This paper focuses discussion methodological issues, leading authors share their experience real-time modeling. more than just drawing different diagrams. Associated tools offer possibilities analyze models specific properties. verification addresses both safety security The model checker inputs enriched properties verified outputs an yes/no answer each property. Security checks against confidentiality, integrity, authenticity As illustration proposed approach, aircraft cockpit door control system modeled